The ANML Language
نویسندگان
چکیده
The Action Notation Modeling Language (ANML) provides a high-level, convenient, and succinct alternative to existing planning languages such as PDDL, the IxTeT language, and languages developed at NASA, such as the EUROPA modeling language (NDDL), and the ASPEN modeling language (AML). ANML is based on strong notions of action and state (like PDDL, IxTeT, and AML), uses a variable/value model (like IxTeT, NDDL and AML), supports rich temporal constraints (like IxTeT, NDDL and AML), and provides simple, convenient idioms for expressing the most common forms of action conditions, effects, and resource usage. The language supports both generative and HTN planning models in a uniform framework and has a clear, well-defined semantics. Despite the richness of the language, it is possible to translate it into PDDL, with some increase in the number and complexity of operators and conditions. In this paper, we describe the central and unique features of the ANML language and sketch key parts of the translation to PDDL.
منابع مشابه
Rational agents and the processes and states of negotiation
This thesis shows how a verified and unambiguous theory of a protocol with known properties enables rational agents to interact in a negotiation process and to finally satisfy their goals using strategies and plans. This is achieved through an application of an extended form of propositional dynamic logic in the verification, validation and reasoning about interaction protocols in a multi-agent...
متن کاملVerification of Protocols for Automated Negotiation
1 , Imperial College, London SW7 2BZ, UK, email: {sp1,rjc}@doc.ic.ac.uk Abstract. This paper presents the verifying aspect of our work for verified, unambiguous and sharable protocols with desirable properties to facilitate automated negotiation. A protocol is represented as an abstract theory in a multi-modal meta-language, called ANML, thereby enabling the verification and proof of certain pr...
متن کاملHierarchical Planning: Relating Task and Goal Decomposition with Task Sharing
Considerable work has focused on enhancing the semantics of Hierarchical Task Networks (HTNs) in order to advance the state-of-the-art in hierarchical planning. For instance, the Hierarchical Goal Network (HGN) formalism operates over a hierarchy of goals to facilitate tighter integration of decompositional planning with classical planning. Another example is the Action Notation Markup Language...
متن کاملA Flexible ANML Actor and Planner in Robotics
Planning in robotics must be considered jointly with Acting. Planning is an open loop activity which produces a plan, based on action models, the current state of the world and the desired goal state. Acting, on the other hand, is a closed loop on the environment activity (to execute command and perceive the state of the world). These two deliberative activities must be integrated and need to h...
متن کاملCompiling Away Uncertainty in Strong Temporal Planning with Uncontrollable Durations
Real world temporal planning often involves dealing with uncertainty about the duration of actions. In this paper, we describe a sound-and-complete compilation technique for strong planning that reduces any planning instance with uncertainty in the duration of actions to a plain temporal planning problem without uncertainty. We evaluate our technique by comparing it with a recent technique for ...
متن کامل